quantified variable

量化变数